<html>
<head><meta charset="utf-8"><title>issue-50716 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html">issue-50716</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="127206723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127206723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127206723">(May 28 2018 at 13:54)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span></p>
<p>I have attempted to fix the issue by adding the following <a href="https://github.com/vakaras/rust/commit/8aa8e0656feed592b3409c416244fac786cbd485" target="_blank" title="https://github.com/vakaras/rust/commit/8aa8e0656feed592b3409c416244fac786cbd485">lines</a>:</p>
<div class="codehilite"><pre><span></span><span class="kd">let</span><span class="w"> </span><span class="n">trait_ref</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">ty</span>::<span class="n">TraitRef</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="n">def_id</span>: <span class="nc">tcx</span><span class="p">.</span><span class="n">lang_items</span><span class="p">().</span><span class="n">sized_trait</span><span class="p">().</span><span class="n">unwrap</span><span class="p">(),</span><span class="w"></span>
<span class="w">    </span><span class="n">substs</span>: <span class="nc">tcx</span><span class="p">.</span><span class="n">mk_substs_trait</span><span class="p">(</span><span class="n">place_ty</span><span class="p">,</span><span class="w"> </span><span class="o">&amp;</span><span class="p">[]),</span><span class="w"></span>
<span class="p">};</span><span class="w"></span>
<span class="bp">self</span><span class="p">.</span><span class="n">prove_trait_ref</span><span class="p">(</span><span class="n">trait_ref</span><span class="p">,</span><span class="w"> </span><span class="n">location</span><span class="p">);</span><span class="w"></span>
</pre></div>


<p>However, if I try to compile with:</p>
<div class="codehilite"><pre><span></span>./x.py build --stage <span class="m">1</span> --keep-stage <span class="m">0</span> -i
</pre></div>


<p>I get an ICE:</p>
<div class="codehilite"><pre><span></span>   Compiling syntax_ext v0.0.0 (file:///home/data/rustfest-paris/rust/src/libsyntax_ext)
error: internal compiler error: broken MIR in NodeId(702427) (&quot;&quot;): errors selecting obligation: [FulfillmentError(Obligation(predicate=Binder(TraitPredicate(&lt;[T] as std::marker::Sized&gt;)),depth=1),Unimplemented)]
   --&gt; librustc/ty/mod.rs:591:1
    |
591 | pub struct Slice&lt;T&gt;([T]);
    | ^^^^^^^^^^^^^^^^^^^^^^^^^

error: aborting due to previous error

error: Could not compile `rustc`.

Caused by:
  process didn&#39;t exit successfully: `/home/data/rustfest-paris/rust/build/bootstrap/debug/rustc
</pre></div>


<p>Do you have any idea why it fails while compiling stage 1?</p>



<a name="127206736"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127206736" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127206736">(May 28 2018 at 13:54)</a>:</h4>
<p>Also, is my change at least to the right direction?</p>



<a name="127206757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127206757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127206757">(May 28 2018 at 13:55)</a>:</h4>
<p>nope :) I mean, it looks like in that case we .. have some value of type <code>[T]</code>... seems ... unexpected to me but maybe I'm forgetting a corner case</p>



<a name="127206758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127206758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127206758">(May 28 2018 at 13:55)</a>:</h4>
<blockquote>
<p>Also, is my change at least to the right direction?</p>
</blockquote>
<p>yes, it looks roughly right</p>



<a name="127206759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127206759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127206759">(May 28 2018 at 13:56)</a>:</h4>
<p>it might be helpful to do <code>-Zdump-mir=all</code> and look for the last file to be dumped</p>



<a name="127206801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127206801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127206801">(May 28 2018 at 13:56)</a>:</h4>
<p>and/or <code>-Zdump-mir=nll</code></p>



<a name="127206802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127206802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127206802">(May 28 2018 at 13:56)</a>:</h4>
<p>these will dump files into a directory <code>mir_dump</code> or <code>dump_mir</code>, something like that</p>



<a name="127206952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127206952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127206952">(May 28 2018 at 14:00)</a>:</h4>
<p>If I understand correctly, the code that fails is generated by a procedural macro.</p>



<a name="127207025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127207025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127207025">(May 28 2018 at 14:02)</a>:</h4>
<blockquote>
<p>If I understand correctly, the code that fails is generated by a procedural macro.</p>
</blockquote>
<p>sounds plausible, do you have the MIR?</p>



<a name="127207026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127207026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127207026">(May 28 2018 at 14:02)</a>:</h4>
<p>I had kind of hoped to look at the MIR</p>



<a name="127207028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127207028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127207028">(May 28 2018 at 14:02)</a>:</h4>
<p>Compiling…</p>



<a name="127208990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127208990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Fabian Zaiser <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127208990">(May 28 2018 at 14:50)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I got his fix to compile and for the example in the issue it outputs this now</p>
<div class="codehilite"><pre><span></span>error: free region `&#39;a` does not outlive free region `&#39;static`
  --&gt; test.rs:13:13
   |
13 |     let x = *s; // requires &#39;a: &#39;static
   |             ^^

error: aborting due to previous error
</pre></div>


<p>Which is good, I think?</p>



<a name="127209963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127209963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127209963">(May 28 2018 at 15:13)</a>:</h4>
<p>Still fails on my machine. I suspect that my environment is corrupted. I have scheduled a build on my server. I will open a pull request if it succeeds.</p>



<a name="127210323"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127210323" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127210323">(May 28 2018 at 15:21)</a>:</h4>
<p>curious</p>



<a name="127210511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127210511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127210511">(May 28 2018 at 15:26)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> this is with a clean build (nothing in the <code>build/</code> directory  at the outset, and you've removed <code>--keep-stage 0</code> as well?</p>



<a name="127210526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127210526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127210526">(May 28 2018 at 15:27)</a>:</h4>
<p>(got a face-to-face reponse; the answer is "no, neither of those things were done yet")</p>



<a name="127218030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/127218030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#127218030">(May 28 2018 at 19:16)</a>:</h4>
<p>The build has succeeded on my server (including <code>./x.py test</code>). I have rebased and opened a pull request: <a href="https://github.com/rust-lang/rust/pull/51139" target="_blank" title="https://github.com/rust-lang/rust/pull/51139">https://github.com/rust-lang/rust/pull/51139</a></p>



<a name="128625944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/128625944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#128625944">(Jun 25 2018 at 22:08)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> <a href="https://github.com/rust-lang/rust/pull/51139#issuecomment-400111611" target="_blank" title="https://github.com/rust-lang/rust/pull/51139#issuecomment-400111611">I left a comment about how to fix this issue, let me know what you think</a></p>



<a name="128646840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/128646840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#128646840">(Jun 26 2018 at 09:07)</a>:</h4>
<p>Thanks! Looking into it.</p>



<a name="128650744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/128650744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#128650744">(Jun 26 2018 at 10:52)</a>:</h4>
<p>I proposed the hacky but simple fix :)</p>



<a name="128653105"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/128653105" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#128653105">(Jun 26 2018 at 12:02)</a>:</h4>
<p>I am working on it. <span class="emoji emoji-263a" title="relaxed">:relaxed:</span></p>



<a name="128653386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/128653386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#128653386">(Jun 26 2018 at 12:10)</a>:</h4>
<p>By the way, if I understood it correctly, this code</p>
<div class="codehilite"><pre><span></span><span class="k">struct</span> <span class="nc">Qey</span><span class="o">&lt;</span><span class="n">Q</span>: <span class="o">?</span><span class="nb">Sized</span><span class="o">&gt;</span><span class="p">(</span><span class="n">Q</span><span class="p">);</span><span class="w"></span>
</pre></div>


<p>is sound just because the constructor is never called (with an argument of an unknown size), am I right?</p>



<a name="128653450"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/128653450" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#128653450">(Jun 26 2018 at 12:12)</a>:</h4>
<p>yes -- basically we prevent constructing an unsized value in the first place</p>



<a name="128654600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/128654600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#128654600">(Jun 26 2018 at 12:44)</a>:</h4>
<p>Ok. Thanks!</p>



<a name="128713412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/128713412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#128713412">(Jun 27 2018 at 12:36)</a>:</h4>
<p>Can anyone advise me where I should put a test file so that when the Rust compiler test suite is run, it would be checked that the program compiles with no errors with <strong>both</strong> AST and MIR borrow checkers?</p>



<a name="128713955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/128713955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#128713955">(Jun 27 2018 at 12:48)</a>:</h4>
<p>if you make a <code>ui</code> test, it will work, because we also do a second run with <code>compare-mode=nll</code></p>
<p>but if you want to be explicit, you can add something like this to the test:</p>
<div class="codehilite"><pre><span></span><span class="c1">// revisions: ast mir</span>
<span class="cp">#![cfg_attr(mir, feature(nll))]</span><span class="w"></span>
</pre></div>



<a name="128713976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/128713976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#128713976">(Jun 27 2018 at 12:49)</a>:</h4>
<p>revisions are <a href="https://rust-lang-nursery.github.io/rustc-guide/tests/adding.html#revisions" target="_blank" title="https://rust-lang-nursery.github.io/rustc-guide/tests/adding.html#revisions">explained in the rustc guide</a></p>



<a name="128713979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/128713979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#128713979">(Jun 27 2018 at 12:49)</a>:</h4>
<p>Thanks!</p>



<a name="128713982"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/128713982" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#128713982">(Jun 27 2018 at 12:49)</a>:</h4>
<p>I will try.</p>



<a name="128724479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/128724479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#128724479">(Jun 27 2018 at 16:23)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I have updated the <a href="https://github.com/rust-lang/rust/pull/51139" target="_blank" title="https://github.com/rust-lang/rust/pull/51139">pull request</a>. Please let me know what you think. It passes all tests on my machine. One thing that is strange to me is why the reported spans in some tests <a href="https://github.com/rust-lang/rust/pull/51139/files#diff-c03499f7aa03d8590f0f6bffb19917d6R27" target="_blank" title="https://github.com/rust-lang/rust/pull/51139/files#diff-c03499f7aa03d8590f0f6bffb19917d6R27">changed</a>.</p>



<a name="128726526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-50716/near/128726526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-50716.html#128726526">(Jun 27 2018 at 17:04)</a>:</h4>
<p>ok</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>